61. Mathematical foundations of computer science 1995
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
رده :
QA267
.
M38
1995
62. Mathematical foundations of computer science 1977. Proceedings, 6th Symposium. Tatranska Lonmica, September 5-9, 1977
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
M37
63. Mathematical foundations of computer science : symposium at ..
پدیدآورنده :
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
45
,
etc
...
64. Mathematical foundations of computer science : symposium at ..
پدیدآورنده : A. Kreczmar, G. Mirkowska )Eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
379
65. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
پدیدآورنده : A. Tarlecki )ed.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
520
66. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده : Marisa Venturini Zilli )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
67. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C.H.A. Koster
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
47
68. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C. H. A. Koster
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
47
69. New trends in formal languages
پدیدآورنده : / Gheorghe P??un, Arto Salomaa, eds
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers),Formal languages.,Parsing (Computer grammar)
رده :
QA
,
76
.
7
,.
N49
,
1997
70. New trends in formal languages :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Formal languages ; Parsing (Computer grammar) ;
71. New trends in formal languages : control, cooperation, and combinatorics
پدیدآورنده : Gheorghe Paun, Arto Salomaa )eds.(
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Parsing )Computer grammar(
رده :
QA
76
.
L28
Vol
.
1218
72. Programmiersprachen und Programmentwicklung :
پدیدآورنده : herausgegeben von Hans Wössner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
رده :
QA76
.
7
H473
1982
73. Programming languages :
پدیدآورنده : André Rauber Du Bois, Phil Trinder (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
B73
2013
74. Programming languages and systems :
پدیدآورنده : Hongseok Yang (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
7
.
A65
2011
75. Semantics With Applications : A Formal Introduction
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) - Semantics,زبان های برنامه نویسی کامپیوتر - معنی شناسی,Nielson, Hanne Riis, 1954-,Nielson, Flemming, 1955-
رده :
CD-B
,
QA
,
76
,.
7
,.
N54
,
1992
76. Semantics with applications: a formal introduction
پدیدآورنده : Nielson, Hanne Riis, 4591-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Programming languages )Electronic computers(- Semantics
رده :
QA76
.
7
.
N541992
77. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
78. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
79. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
80. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
